Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
211	Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:43:49 Computer science Theory of computation Church–Turing thesis Computable function Halting problem Entscheidungsproblem Turing machine Emil Leon Post Computable number Theoretical computer science Computability theory Mathematics
212	Theory of Real Computation according to EGC∗ Chee Yap Courant Institute of Mathematical Sciences Department of Computer Science New York University April 17, 2007 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-17 11:20:36 Theoretical computer science Mathematical logic Computable function Symbol Function Model theory Recursively enumerable set Computability Primitive recursive function Computability theory Theory of computation Mathematics
213	strategy_machines_technical.dvi Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-08-06 09:56:47 Computability theory Computer science Formal methods Turing machine Linear temporal logic Mealy machine Determinacy Models of computation Theory of computation Theoretical computer science
214	Call Arity Joachim Breitner Karlsruhe Institute of Technology [removed] Abstract Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Higher-order functions Universal algebra Recursion Lambda calculus Computability theory Fold Combinatory logic Map Arity Mathematics Mathematical logic Theoretical computer science
215	Automated Certified Proofs with CiME3∗ ´ Contejean1,2 E. P. Courtieu3 Add to Reading List Source URL: cedric.cnam.fr Language: English - Date: 2011-02-13 18:15:50 Applied mathematics Automated theorem proving Formal languages Logic in computer science Computability theory Termination analysis Mathematical proof Rewriting Heuristic Theoretical computer science Mathematics Mathematical logic
216	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
217	Learning Universally Quantified Invariants of Linear Data Structures Pranav Garg1 , Christof L¨oding2 , P. Madhusudan1 , and Daniel Neider2 1 University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Automata theory Models of computation Logic in computer science Formal methods Computability theory Satisfiability Modulo Theories Lookup table Deterministic finite automaton Decision problem Theoretical computer science Applied mathematics Mathematics
218	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Lambda calculus Theoretical computer science Universal quantification First-order logic Hoare logic Mathematical logic Logic Mathematics
219	On Bounded Reachability of Programs with Set Comprehensions Margus Veanes1 and Ando Saabas2? 1 2 Add to Reading List Source URL: set.ee Language: English - Date: 2009-01-06 12:05:39 Formal methods Complexity classes Computability theory Metalogic NP-complete problems FO Model theory First-order logic P Theoretical computer science Computational complexity theory Applied mathematics
220	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer science Proof theory Models of computation Computability theory Natural deduction Simply typed lambda calculus Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematical logic Lambda calculus

UPDATE